281. Motivic integration and its interactions with model theory and non-Archimedean geometry
المؤلف: edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
المکتبة: (طهران)
موضوع: ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
282. Motivic integration and its interactions with model theory and non-Archimedean geometry
المؤلف: / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Valued fields.,Analytic spaces.,Geometry, Algebraic.
رده :
QA
,
9
.
7
,.
M68
,
2011
283. Multi-Scale Analysis for Random Quantum Systems with Interaction
المؤلف: \ Victor Chulaevsky, Yuri Suhov.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Multiscale modeling.,Localization theory.,Functional analysis.,Anderson model.,مدل سازی چند بعدی,آن‍ال‍ی‍ز ت‍اب‍ع‍ی,مدل آندرسون
رده :
TA
342
.
C46M8
2014
E-book
,
284. Multiple forcing
المؤلف: Jech, Thomas J.
المکتبة: (طهران)
موضوع: ، Forcing )Model theory(
رده :
QA
9
.
7
.
J43
1986
285. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
المؤلف: edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
286. #Non-classical logics, model theory, and computability
المؤلف: #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
287. Non-classical logics, model theory, and computability
المؤلف: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
288. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
المؤلف: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
289. Norms on possibilities I : forcing with trees and creatures
المؤلف: Roslanowski, Andrzej, 0691-
المکتبة: (طهران)
موضوع: ، Set theory,، Forcing )Model theory(
رده :
QA
3
.
A475
no
.
671
290. O-minimality and diophantine geometry
المؤلف: edited by G.O. Jones, A.J. Wilkie
المکتبة: (طهران)
موضوع: ، Arithmetical algebraic geometry,، Model theory,، Geometry, Analytic
رده :
QA
242
.
5
.
O44
291. Partiality, truth, and persistence
المؤلف: Langholm, Tore, 7591-
المکتبة: (طهران)
موضوع: ، Formal languages,، Model theory
رده :
P
25
.
C28
No
.
15
292. Particles in the early universe :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Group theory. ; Gauge fields (Physics) ; Series, Infinite. ; Particles (Nuclear physics) ; Mathematical models. ; Standard model (Nuclear physics) ;
293. Personality Traits of Church Planters in Europe
المؤلف: Annemarie Foppen, Stefan Paas, Joke van Saane, et al.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: big five personality model,church planters,Europe,religious entrepreneurship,religious market theory
294. Perturbative and nonperturbative aspects of quantum field theory : proceedings of the 35th Internationale Universitatswochen fur Kern- und Teilchenphysik, Schladming, Austria, March 2-9, 1996
المؤلف: H. Latal, W. Schweiger )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Standard model )Nuclear physics(,Congresses ، Quantum field theory,Congresses ، Nuclear reactions,Congresses ، Quantum chromodynamics,Congresses ، Perturbation )Quantum dynamics(
رده :
QC
3
.
L28
Vol
.
479
295. Philosophy of Science in Practice
المؤلف: edited by Hsiang-Ke Chao, Julian Reiss
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Philosophy,Philosophy and science,Computer simulation,Game theory,Philosophy,Philosophy of Science,Simulation and Modeling,Game Theory, Economics, Social and Behav. Sciences
رده :
EBOOK
,
B
P44
67
296. Physics in D >= 4
المؤلف: / editors, John Terning, Carlos E.M. Wagner, Dieter Zeppenfeld
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Particles (Nuclear physics) , Congresses,Standard model (Nuclear physics) , Congresses,Field theory (Physics) , Congresses,Electronic books. , local
رده :
E-BOOK
297. Proceedings of the International Workshop on Quantum Effects in the MSSM: Universitat Autonoma de Barcelona, Catalonia, Spain, 9-13 September 1997
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Supersymmetry,Congresses ، Quantum theory,Congresses ، Standard model )Nuclear physics(
رده :
QC
174
.
17
.
S9
.
I58
1997
298. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
المؤلف: edited by G. H. Muller and M. M. Richter
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
299. Proceedings of the Workshop on Effective Field Theories of the Standard Model, Dobogkio, Hungary, August, 22-26, 1991
المؤلف: edited by Ulf-G. MeiBner
المکتبة: (طهران)
موضوع: Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(
رده :
QC
794
.
6
.
S75W67
1991
